Metaheuristics have been shown to be e?ective for di?cult combinatorial - timization problems appearing in various industrial, ...
WeiterlesenThis easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. ...
WeiterlesenThis book constitutes the refereed proceedings of the Second International Frontiers of Algorithmics Workshop, FAW 2008, ...
WeiterlesenThis book constitutes the thoroughly refereed post-conference proceedings of the 34th International Workshop on Graph-Theoretic ...
WeiterlesenThe volume contains the papers selected for presentation at IPCO 2008, the 13th International Conference on Integer Programming ...
WeiterlesenThe 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization ...
WeiterlesenThe 6th International Conference on Large-Scale Scienti?c Computations (LSSC 2007) was held in Sozopol, Bulgaria, June 5–9, ...
WeiterlesenThe papers cover current issues of machine learning, artificial intelligence, mathematical programming and algorithms for ...
WeiterlesenMultiobjective optimization deals with solving problems having not only one, but multiple, often conflicting, criteria. Such ...
WeiterlesenThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
WeiterlesenThis book presents computer programming as a key method for solving mathematical problems. This second edition of the well-received ...
WeiterlesenThis book presents computer programming as a key method for solving mathematical problems. There are two versions of the ...
WeiterlesenThis book address all aspects of constraint and logic programming, including foundational issues, implementation techniques, ...
WeiterlesenThis book is organized in topical sections on applications, collective operations, library internals, message passing for ...
WeiterlesenAll current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
WeiterlesenThe use of static analysis techniques to prove the partial correctness of C code has recently attracted much attention due ...
WeiterlesenThis book features original research in the areas of algorithms and data structures, combinatorial algorithms, graph drawings ...
Weiterlesen